Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems
نویسندگان
چکیده
منابع مشابه
Consistency between Use Case, Sequence and Timing Diagram for Real Time Software Systems
Modeling of real time software systems (RTSS) consist of different components with UML 2. 0 leads to a design model using various diagrams. To get a consistent model, a consistency concept for different diagrams type is needed that takes into account real time constraints. Ensuring consistency of The Unified Modeling Language (UML) model is very crucial as it is effect to the quality of UML mod...
متن کاملA Real-time Decision Diagram for Timing Analysis and Synthesis
In this paper, we introduce an efficient real-time decision diagram, TBF BDD, characterizing both logical functionality and timing information of circuits. In contrast to the conventional timing methods that discretize time, this decision diagram permits real and continuous time and is applicable to both combinational and synchronous sequential circuits. First, we demonstrate how circuits can b...
متن کاملTowards Composable Timing for Real-Time Software
Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteei...
متن کاملTest Case Generation Based on Use case and Sequence Diagram
We present a comprehensive test case generation technique from UML models. We use the features in UML 2.0 sequence diagram including conditions, iterations, asynchronous messages and concurrent components. In our approach, test cases are derived from analysis artifacts such as use cases, their corresponding sequence diagrams and constraints specified across all these artifacts. We construct Use...
متن کاملParametric Timing Analysis for Real-Time Systems
We extend a TCTL model-checking problem to a parametric timing analysis problem for real-time systems and develop new techniques for solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with timing parameter variables of unknown sizes and can give back general linear equations of timing parameter variables whose solutions make the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2014
ISSN: 0975-8887
DOI: 10.5120/14924-3444